система формальных доказательств

См. также в других словарях:

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ —     ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует …   Философская энциклопедия

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

• ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …   Математическая энциклопедия

• Розыскной процесс — (также инквизиционный процесс, следственный процесс) форма уголовного процесса, существенными чертами которой является: отсутствие прав у обвиняемого, возможности состязания с обвинителем; слияние защиты с обвинением и разрешением дела,… …   Википедия

• Инквизиционный процесс — Розыскной процесс (также инквизиционный процесс, (устар. следственный процесс) форма уголовного процесса, существенными чертами которой является: отсутствие прав у обвиняемого, возможности состязания с обвинителем; слияние защиты с обвинением и… …   Википедия

• Разыскной процесс — Розыскной процесс (также инквизиционный процесс, следственный процесс)  форма уголовного процесса, существенными чертами которой является: отсутствие прав у обвиняемого, возможности состязания с обвинителем; слияние защиты с обвинением и… …   Википедия

• Уголовное судопроизводство — (instruction criminelle, Strafprocessrecht), иначе формальное, или процессуальное, У. право (formelles Strafrecht) есть установленный законом порядок осуществления карательной власти в отдельных случаях. Под У. судопроизводством разумеются как… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Уголовное судопроизводство — (instruction criminelle, Strafprocessrecht), иначе формальное, или процессуальное, У. право (formelles Strafrecht) есть установленный законом порядок осуществления карательной власти в отдельных случаях. Под У. судопроизводством разумеются как… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Русская Правда — У этого термина существуют и другие значения, см. Русская правда (значения). Страница из краткой редакции «Русской Правды». Русская Правда (др. рус …   Википедия

• УГОЛОВНЫЙ ПРОЦЕСС — основанная на законе деятельность упра вомоченных органов и лиц по расследованию преступлений ^разрешению уголовных дел. У.п. называют также уголовным судопроизводством, подчеркивая таким образом особое значение в ней суда как единственного… …   Энциклопедия юриста

• Розыскной процесс — (инквизиционный)         форма судебного процесса, при которой обвинение и разрешение дела сосредоточивались в руках одних и тех же лиц. Возник в средние века (в России в 15 в.) и был господствующим порядком судопроизводства в эпоху Абсолютизма.… …   Большая советская энциклопедия